Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
31	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
32	Smart card security from a programming language and static analysis perspective Xavier Leroy INRIA Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2003-04-08 07:22:13 Smart cards Java platform Cross-platform software Java Card Applet Java Subscriber identity module Computer security MULTOS Application programming interface Java applet Java virtual machine
33	Compilation optimisante et v´erification formelle de compilateurs Xavier Leroy INRIA Rocquencourt ´ Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2007-06-06 03:58:31
34	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-02-02 12:03:33 Software quality Design for X Symposium on Principles of Programming Languages Reliability engineering Computer security Software Fly-by-wire
35	Some uses of Caml in industry Xavier Leroy INRIA Paris-Rocquencourt CUFP 2007 Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:46 Functional languages OCaml French Institute for Research in Computer Science and Automation Caml ML Xavier Leroy
36	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
37	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
38	Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-10-09 12:04:53 Compilers Computer arithmetic CompCert Logic in computer science Xavier Leroy GNU Compiler Collection Floating point X86
39	Formal verification of a C compiler front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA RocquencourtLe Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-05-06 09:13:37
40	J Autom Reasoning:263–288 DOIs10817Mechanized Semantics for the Clight Subset of the C Language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-05-06 09:03:16

UPDATE